((FLATTEN CAR CDR CONS IDEN PLUS TIMES MINUS ATOM LISTP NUMBERP NULL QUOTE EVAL LENGTH MEMBER GREATERP LESSP EQU~
AL AND OR NOT HALF PI12 PI22 ZERO1 ZERO2 CONST1 CONST2 SUB1 ADD1 LIST APPEND FN FN2) ((ANY) (LISTP) (LISTP) (ATO~
M LISTP) (ANY ANY) (NUMBER NUMBER) (NUMBER NUMBER) (NUMBER) (ANY) (ANY) (ANY) (ANY) (ANY) (ANY) (ANY) (ANY LISTP~
) (NUMBER NUMBER) (NUMBER NUMBER) (ANY ANY) (ANY ANY) (ANY ANY) (ANY ANY) (NUMBER) (ANY ANY) (ANY ANY) (ANY) (AN~
Y ANY) (ANY) (ANY ANY) (NUMBER) (NUMBER) (ANY ANY) (ANYLIST ANYLIST) (ANY) (ANY ANY)) (1 1 1 2 11 11 11 1 1 1 1 ~
1 1 1 1 2 11 11 11 11 11 11 1 2 2 1 2 1 2 1 1 11 2 1 2) (ANY ANY LISTP LISTP ANY NUMBER NUMBER NUMBER TF TF TF T~
F ANY ANY NUMBER TF TF TF TF TF TF TF NUMBER ANY ANY NUMBER NUMBER ANY ANY NUMBER NUMBER ANYLIST LIST ANY ANY) (~
FLATTEN FN CAR CDR IDEN MINUS ATOM LISTP NUMBERP NULL LIST CONST1 ZERO1 QUOTE EVAL LENGTH NOT HALF SUB1 ADD1) (C~
ONS PI12 PI22 FN2 LIST PLUS TIMES MEMBER APPEND GREATERP LESSP EQUAL AND OR NOT) ((11.0 7 7 0 5 0 0 14 5 14 14 1~
0 25 14 10 0 0 0 0 0 0 14 10 0 0 25 0 25 0 10 10 14 0 0) (11.0 10 10 0 5 0 0 14 5 14 14 14 25 14 14 0 0 0 0 0 0 ~
25 10 0 0 10 0 10 0 14 14 7 0 0) (11.0 5 7 0 10 0 0 10 14 14 14 14 14 14 14 0 0 0 0 0 0 25 14 0 0 14 0 14 0 7 7 ~
10 0 0) (11.0 7 10 0 7 0 0 14 14 14 14 14 14 14 14 0 0 0 0 0 0 14 10 0 0 25 0 25 0 10 10 14 0 5) (11.0 7 5 0 10 ~
0 0 10 14 14 14 14 14 14 14 0 0 0 0 0 0 25 14 0 0 14 0 14 0 7 7 7 0 0) (11.0 10 7 0 7 0 0 14 14 14 14 14 14 14 1~
4 0 0 0 0 0 0 14 10 0 0 25 0 25 0 10 10 10 0 5) (11.0 0 0 5 0 10 10 0 0 0 0 0 0 0 0 25 25 14 25 14 14 0 0 7 7 0 ~
14 0 14 0 0 0 5 0) (11.0 7 7 0 5 0 0 14 5 14 14 10 25 14 10 0 0 0 0 0 0 14 10 0 0 25 0 25 0 10 10 14 0 0) (11.0 ~
10 10 0 5 0 0 14 5 14 14 14 25 14 14 0 0 0 0 0 0 25 10 0 0 10 0 10 0 14 14 7 0 0)) ((0 0 14 0 25 25 0 0 0 0 0 0 ~
0 0 25 14 14 25 14 14 0 0 7 7 0 25 0 25 0 0 25 25 0 0) (10 10 0 7 0 0 25 14 14 14 14 25 25 14 0 0 0 0 0 0 25 14 ~
0 0 25 0 25 0 10 10 25 0 0 0) (10 10 0 7 0 0 25 14 14 14 14 25 25 14 0 0 0 0 0 0 25 14 0 0 25 0 25 0 10 10 25 0 ~
0 0) (0 0 10 0 25 25 0 0 0 0 0 0 0 0 25 25 25 25 25 25 0 0 7 7 0 25 0 25 0 0 24 14 0 0) (10 10 0 7 0 0 14 25 25 ~
25 25 25 25 25 0 0 0 0 0 0 25 25 0 0 14 0 10 0 14 14 14 0 0 0) (10 10 0 7 0 0 14 25 25 25 25 25 25 25 0 0 0 0 0 ~
0 25 25 0 0 25 0 10 0 14 14 14 0 0 0) (0 0 14 0 25 25 0 0 0 0 0 0 0 0 25 14 14 25 14 14 0 0 7 7 0 25 0 25 0 0 25~
 25 0 0) (10 10 0 7 0 0 25 14 14 14 14 25 25 14 0 0 0 0 0 0 25 14 0 0 25 0 25 0 10 10 25 0 0 0) (10 10 0 7 0 0 2~
5 14 14 14 14 25 25 14 0 0 0 0 0 0 25 14 0 0 25 0 25 0 10 10 25 0 0 0) (0 0 10 0 25 25 0 0 0 0 0 0 0 0 25 25 25 ~
25 25 25 0 0 7 7 0 25 0 25 0 0 24 14 0 0) (10 10 0 7 0 0 14 25 25 25 25 25 25 25 0 0 0 0 0 0 25 25 0 0 14 0 10 0~
 14 14 14 0 0 0) (10 10 0 7 0 0 14 25 25 25 25 25 25 25 0 0 0 0 0 0 25 25 0 0 25 0 10 0 14 14 14 0 0 0) (0 0 10 ~
0 25 25 0 0 0 0 0 0 0 0 25 25 25 25 25 14 0 0 14 14 0 25 0 25 0 0 25 20 0 14) (0 0 14 0 25 25 0 0 0 0 0 0 0 0 25~
 15 15 15 15 25 0 0 7 10 0 25 0 25 0 0 24 20 0 10) (7 10 0 10 0 0 14 25 25 25 25 25 25 25 0 0 0 0 0 0 25 25 0 0 ~
25 0 25 0 14 14 0 0 0 0) (7 10 0 10 0 0 14 25 25 25 25 25 25 25 0 0 0 0 0 0 25 25 0 0 25 0 25 0 14 14 0 0 0 0) (~
0 0 14 0 25 25 0 0 0 0 0 0 0 0 25 15 15 15 15 25 0 0 7 10 0 25 0 25 0 0 24 20 0 10) (10 7 0 10 0 0 14 25 25 25 2~
5 25 25 25 0 0 0 0 0 0 25 25 0 0 25 0 25 0 14 14 0 0 0 0) (10 7 0 10 0 0 14 25 25 25 25 25 25 25 0 0 0 0 0 0 25 ~
25 0 0 25 0 25 0 14 14 0 0 0 0)))